- дедуктивная система
- Deduktionssystem
Русско-немецкий финансово-экономическому словарь. - «РУССО». Ю.И. Куколев . 2001.
дедуктивная система
Schlagen Sie auch in anderen Wörterbüchern nach:
Дедуктивная система — это способ задания множества путем указания исходных элементов (аксиом исчисления) и правил вывода, каждое из которых описывает, как строить новые элементы из исходных. Используются различные термины для обозначения понятия дедуктивной системы:… … Википедия
Дедуктивная теория — Синоним теория фокусята Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий … Википедия
Система логики силлогистической и индуктивной — «СИСТЕМА ЛОГИКИ СИЛЛОГИСТИЧЕСКОЙ И ИНДУКТИВНОЙ» («A System of Logic Rationative and Inductive») книга Джона Стюарта Милля. Была опубликована в Лондоне в 1843. В России вышло несколько ее переводов. Данная работа является уникальным… … Энциклопедия эпистемологии и философии науки
ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… … Математическая энциклопедия
Формальная система — неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… … Большая советская энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… … Философская энциклопедия
ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… … Философская энциклопедия
ГИПОТЕТИКО-ДЕДУКТИВНАЯ МОДЕЛЬ — ГИПОТЕТИКО ДЕДУКТИВНАЯ МОДЕЛЬ (в методологии науки) концепция познавательного процесса в науке и структуры научного знания, исходящая из представления о научном знании как о системе дедуктивно связанных между собой гипотетических утверждений … Философская энциклопедия
гипотетико-дедуктивная модель теории — ГИПОТЕТИКО ДЕДУКТИВНАЯ МОДЕЛЬ ТЕОРИИ модель научной теории, репрезентирующая ее концептуальную структуру в виде системы взаимосвязанных гипотез и выводимых из них дедуктивных следствий. Формирование теорий как сложноорганизованных … Энциклопедия эпистемологии и философии науки
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
исчисление — ▲ система ↑ вычисление исчисление, дедуктивная система система вычисления; совокупность правил оперирования с к л. символами; математическая модель процесса перехода от посылок к следствию, проводимого по некоторым правилам вывода (матем.… … Идеографический словарь русского языка
